The Sequential Compactness Theorem